Revision: sks--mainline--1.0--patch-15
Archive: yminsky@cs.cornell.edu--2004
Creator: Yaron Minsky <yminsky@cs.cornell.edu>
Date: Tue Sep 28 07:33:03 EDT 2004
Standard-date: 2004-09-28 11:33:03 GMT
Modified-files: recoverList.ml settings.ml
New-patches: yminsky@cs.cornell.edu--2004/sks--mainline--1.0--patch-15
Summary: Added flag for disabling log_diffs
Keywords: 

As requested by Dinko Korunic <kreator@srce.hr>
